- operational logic
- логика действий
English-Russian dictionary of computer science. 2015.
English-Russian dictionary of computer science. 2015.
Operational definition — The operational definition of a peanut butter sandwich might be simply the result of putting peanut butter on a slice of bread with a butter knife and laying a second equally sized slice of bread on top An operational definition defines something … Wikipedia
Operational amplifier — A Signetics μa741 operational amplifier, one of the most successful op amps. An operational amplifier ( op amp ) is a DC coupled high gain electronic voltage amplifier with a differential input and, usually, a single ended output.[1] An op amp… … Wikipedia
Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… … Wikipedia
Inverter (logic gate) — INPUT A OUTPUT NOT A 0 1 1 0 Traditional NOT Gate (Inverter) symb … Wikipedia
Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… … Wikipedia
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Is logic empirical? — is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds … Wikipedia
Sequential logic — In digital circuit theory, sequential logic is a type of logic circuit whose output depends not only on the present input but also on the history of the input. This is in contrast to combinational logic, whose output is a function of, and only of … Wikipedia